8

Model checking mobile stochastic logic

Year:
2007
Language:
english
File:
PDF, 591 KB
english, 2007
42

A uniform definition of stochastic process calculi

Year:
2013
Language:
english
File:
PDF, 1.06 MB
english, 2013